@book{alma993262693502466,
author = {Stirling, Colin.},
address = {Edinburgh},
booktitle = {Comparing linear and branching time temporal logics},
keywords = {Logic, Symbolic and mathematical},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-24},
title = {Comparing linear and branching time temporal logics / by Colin Stirling.},
year = {1987},
}

@book{alma993262713502466,
author = {Parrow, Joachim},
address = {Edinburgh},
booktitle = {Submodule construction as equation solving in CCS},
keywords = {Computer network protocols},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-26},
title = {Submodule construction as equation solving in CCS / by Joachim Parrow.},
year = {1987},
}

@book{alma993262583502466,
author = {Parrow, Joachim},
address = {Edinburgh},
booktitle = {Verifying a CSMA/CD-protocol with CCS},
keywords = {Communication network protocols},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-87-18},
title = {Verifying a CSMA/CD-protocol with CCS / by Joachim Parrow.},
year = {1987},
}

@misc{alma992192353502466,
author = {Cardelli, Luca.},
address = {Edinburgh},
booktitle = {An algebraic approach to hardware description and verification},
keywords = {Integrated circuits -- Very large scale integration},
language = {eng},
publisher = {University of Edinburgh, Department of Computer Science},
series = {CST- ; 16-82},
title = {An algebraic approach to hardware description and verification / by Luca Cardelli.},
year = {1982},
}

@misc{alma992705933502466,
author = {Marshall, Richard Millar.},
address = {Edinburgh},
booktitle = {Synthesis of hardware systems from very high level behavioural specifications},
language = {eng},
publisher = {University of Edinburgh, Department of Computer Science},
series = {CST- ; 41-86},
title = {Synthesis of hardware systems from very high level behavioural specifications / Richard Millar Marshall.},
year = {1986},
}

@misc{alma992859733502466,
author = {McCaskill, George Alexander.},
address = {Edinburgh},
booktitle = {Generating programming environments with integrated text and graphics for VLSI design systems},
language = {eng},
publisher = {University of Edinburgh, Department of Computer Science},
series = {CST- ; 45-87},
title = {Generating programming environments with integrated text and graphics for VLSI design systems / George Alexander McCaskill.},
year = {1987},
}

@misc{alma991218623502466,
author = {Monahan, Brian Quentin.},
address = {Edinburgh},
booktitle = {Data type proofs using Edinburgh LCF},
keywords = {Computable functions -- Theses},
language = {eng},
publisher = {University of Edinburgh, Department of Computer Science},
series = {CST- ; 34-85},
title = {Data type proofs using Edinburgh LCF / Brian Quentin Monahan.},
year = {1984},
}

@book{alma992272473502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {Is computing an experimental science?},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 86-1},
title = {Is computing an experimental science? / by Robin Milner.},
year = {1986},
}

@book{alma992350293502466,
author = {Tennent, R. D.},
address = {Edinburgh},
booktitle = {Functor-category semantics of programming languages and logics},
keywords = {Programming languages (Electronic computers) -- Semantics},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 86-3},
title = {Functor-category semantics of programming languages and logics / by R.D. Tennent.},
year = {1986},
}

@book{alma992351313502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {A complete axiomatisation for observational congruence of finite-state behaviours},
keywords = {Axiomatic set theory},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 86-8},
title = {A complete axiomatisation for observational congruence of finite-state behaviours / by Robin Milner.},
year = {1986},
}

@book{alma992351293502466,
author = {Tennent, R. D.},
address = {Edinburgh},
booktitle = {Semantic analysis of specification logic},
keywords = {Algol 60 (Computer program language)},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 86-5},
title = {Semantic analysis of specification logic / by R.D. Tennent.},
year = {1986},
}

@misc{alma9911913883502466,
author = {Winskel, G. (Glynn)},
address = {Edinburgh},
booktitle = {Events in computation},
language = {eng},
publisher = {University of Edinburgh, Department of Computer Science},
series = {CST- ; 10-80},
title = {Events in computation / Glynn Winskel.},
year = {1980},
}

@book{alma993815123502466,
author = {Brown, Carolyn T. (Carolyn Tanya)},
address = {Edinburgh},
booktitle = {Petri nets as quantales},
keywords = {Petri nets},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-96},
title = {Petri nets as quantales / by Carolyn Brown.},
year = {1989},
}

@book{alma993417053502466,
author = {Sannella, D. (Donald)},
address = {Edinburgh},
booktitle = {A survey of formal software development methods},
keywords = {Computer software -- Development},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-56},
title = {A survey of formal software development methods / by Donald Sannella.},
year = {1988},
}

@book{alma993692953502466,
author = {Ore, Christian-Emil S.},
address = {Edinburgh},
booktitle = {On natural deduction style semantics, environments and stores},
keywords = {Functional programming languages -- Semantics},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-88},
title = {On natural deduction style semantics, environments and stores / by Christian-Emil Ore.},
year = {1989},
}

@book{alma993692943502466,
author = {Brown, Carolyn T. (Carolyn Tanya)},
address = {Edinburgh},
booktitle = {Relating Petri nets to formulae of linear logic},
keywords = {Petri nets},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-87},
title = {Relating Petri nets to formulae of linear logic / by Carolyn Brown.},
year = {1989},
}

@book{alma993417013502466,
author = {Luo, Zhaohui.},
address = {Edinburgh},
booktitle = {CC and its meta theory},
keywords = {Logic, Symbolic and mathematical},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-58},
title = {CC and its meta theory / by Zhaohui Luo.},
year = {1988},
}

@book{alma993417033502466,
author = {Luo, Zhaohui.},
address = {Edinburgh},
booktitle = {A higher-order calculus and theory abstraction},
keywords = {Logic, Symbolic and mathematical},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-57},
title = {A higher-order calculus and theory abstraction / by Zhaohui Luo.},
year = {1988},
}

@book{alma992351303502466,
author = {Tennent, R. D.},
address = {Edinburgh},
booktitle = {Quantification in Algol-like languages},
keywords = {Programming languages (Electronic computers) -- Syntax},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 86-6},
title = {Quantification in Algol-like languages / by R.D. Tennent.},
year = {1986},
}

@book{alma993285113502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {Operational and algebraic semantics of concurrent processes},
keywords = {Programming languages (Electronic computers) -- Semantics},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-46},
title = {Operational and algebraic semantics of concurrent processes / by Robin Milner.},
year = {1988},
}

@book{alma993284953502466,
author = {Griffin, Timothy G.},
address = {Edinburgh},
booktitle = {An environment for formal systems},
keywords = {Logic, Symbolic and mathematical},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-34},
title = {An environment for formal systems / Timothy G. Griffin.},
year = {1987},
}

@book{alma993285043502466,
address = {Edinburgh},
booktitle = {Fifth Workshop on Specification of Abstract Data Types : Gullane, 1-4 September 1987 ; abstracts},
keywords = {Abstract data types},
language = {eng},
organization = {Workshop on Specification of Abstract Data Types (5th : 1987 : Gullane, Scotland)},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-41},
title = {Fifth Workshop on Specification of Abstract Data Types : Gullane, 1-4 September 1987 ; abstracts / foreword by Don Sannella.},
year = {1987},
}

@book{alma993416823502466,
author = {Ritchie, Brian.},
address = {Edinburgh},
booktitle = {The interactive proof editor : an experiment in interactive theorem},
keywords = {Automatic theorem proving},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-61},
title = {The interactive proof editor : an experiment in interactive theorem / by Brian Ritchie and Paul Taylor.},
year = {1988},
}

@book{alma993693003502466,
author = {Steffen, Bernhard.},
address = {Edinburgh},
booktitle = {Finite constants : Characterizations of a new decidable set of constants},
keywords = {Algorithms},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-79},
title = {Finite constants : Characterizations of a new decidable set of constants / Bernhard Steffen and Jens Knoop.},
year = {1989},
}

@book{alma993842943502466,
author = {Moller, Faron.},
address = {Edinburgh},
booktitle = {A temporal calculus of communicating systems},
keywords = {Machine theory},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-104},
title = {A temporal calculus of communicating systems / by Faron Moller, Chris Tofts.},
year = {1989},
}

@book{alma993662713502466,
author = {Stirling, Colin.},
address = {Edinburgh},
booktitle = {Local model checking in the modal mu-calculus},
keywords = {Logic, Symbolic and mathematical},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-78},
title = {Local model checking in the modal mu-calculus / Colin Stirling and David Walker.},
year = {1989},
}

@book{alma993285033502466,
author = {Mason, Ian A.},
address = {Edinburgh},
booktitle = {Verification of programs that destructively manipulate data},
keywords = {Computer software -- Verification},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-40},
title = {Verification of programs that destructively manipulate data / by Ian A. Mason.},
year = {1987},
}

@book{alma993915193502466,
author = {Pym, David J.},
address = {Edinburgh},
booktitle = {Investigations into proof-search in a system of first-order dependent function types},
keywords = {Lambda calculus},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 90-111},
title = {Investigations into proof-search in a system of first-order dependent function types / by David Pym and Lincoln Wallen.},
year = {1990},
}

@book{alma993262523502466,
author = {Burstall, R. M. (Rodney Matineau)},
address = {Edinburgh},
booktitle = {Research in interactive theorem proving at Edinburgh University},
keywords = {Automatic theorem proving},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 86-12},
title = {Research in interactive theorem proving at Edinburgh University / by R.M. Burstall.},
year = {1986},
}

@book{alma993835203502466,
author = {Sannella, D. (Donald)},
address = {Edinburgh},
booktitle = {Syntax, typechecking and dynamic semantics for extended ML},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-101},
title = {Syntax, typechecking and dynamic semantics for extended ML / by Donald Sannella, Fabio da Silva.},
year = {1989},
}

@book{alma993417083502466,
author = {Reynolds, John C.},
address = {Edinburgh},
booktitle = {On functors expressible in the polymorphic typed lambda calculus},
keywords = {Functor theory},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-53},
title = {On functors expressible in the polymorphic typed lambda calculus / by J.C. Reynolds and G.D. Plotkin.},
year = {1988},
}

@book{alma993741673502466,
author = {Cleaveland, W. R. (Walter Rance)},
address = {Edinburgh},
booktitle = {The concurrency workbench : a semantics based tool for the verification of concurrent systems},
keywords = {Computer network protocols},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-83},
title = {The concurrency workbench : a semantics based tool for the verification of concurrent systems / by Rance Cleaveland, Joachim Parrow, Barnhard Steffen.},
year = {1989},
}

@book{alma993262673502466,
author = {Sannella, D. (Donald)},
address = {Edinburgh},
booktitle = {Some thoughts on algebraic specification},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-21},
title = {Some thoughts on algebraic specification / by Donald Sannella and Andrzej Tarlecki.},
year = {1987},
}

@book{alma993535903502466,
author = {Burstall, R. M. (Rodney Matineau)},
address = {Edinburgh},
booktitle = {A natural deduction treatment of operational semantics},
keywords = {Logic, Symbolic and mathematical},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-69},
title = {A natural deduction treatment of operational semantics / R.M. Burstall and Furio Honsell.},
year = {1988},
}

@misc{alma99893883502466,
author = {Owoso, Gabriel Olusegun.},
address = {Edinburgh},
booktitle = {Data description and manipulation in persistent programming languages},
keywords = {Programming languages (Electronic computers) -- Theses},
language = {eng},
publisher = {University of Edinburgh, Department of Computer Science},
series = {CST- ; 32-84},
title = {Data description and manipulation in persistent programming languages / by Gabriel Olusegun Owoso.},
year = {1984},
}

@misc{alma99861563502466,
author = {Damas, Luís},
address = {Edinburgh},
booktitle = {Type assignment in programming languages},
keywords = {Programming languages (Electronic computers) -- Theses},
language = {eng},
publisher = {University of Edinburgh, Department of Computer Science},
series = {CST- ; 33-85},
title = {Type assignment in programming languages / by Luis Manuel Martins Damas.},
year = {1984},
}

@misc{alma993285133502466,
author = {Rothwell, Nicholas John.},
address = {Edinburgh},
booktitle = {The generation of concurrent code for declarative languages},
language = {eng},
publisher = {University of Edinburgh, Department of Computer Science},
series = {CST- ; 44-87},
title = {The generation of concurrent code for declarative languages / by Nicholas John Rothwell.},
year = {1987},
}

@book{alma993262533502466,
author = {Larsen, K. G. (Kim G.)},
address = {Edinburgh},
booktitle = {A complete protocol verification using relativized bisimulation},
keywords = {Computer network protocols},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 86-13},
title = {A complete protocol verification using relativized bisimulation / by Kim G. Larsen and Robin Milner.},
year = {1986},
}

@book{alma992351323502466,
author = {Burstall, R. M. (Rodney Matineau)},
address = {Edinburgh},
booktitle = {Computing with categories},
keywords = {Categories (Mathematics)},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 86-9},
title = {Computing with categories / by R.M. Burstall and David Rydeheard.},
year = {1986},
}

@book{alma993693013502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {A calculus of mobile processes : Part I},
keywords = {Machine theory},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-85},
title = {A calculus of mobile processes : Part I / by Robin Milner, Joachim Parrow [and] David Walker.},
year = {1989},
}

@book{alma993693023502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {A calculus of mobile processes : Part II},
keywords = {Machine theory},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-86},
title = {A calculus of mobile processes : Part II / by Robin Milner, Joachim Parrow [and] David Walker.},
year = {1989},
}

@book{alma993741343502466,
author = {Burstall, R. M. (Rodney Matineau)},
address = {Edinburgh},
booktitle = {Some fundamental algebraic tools for the semantics of computation / Part 3, Indexed categories.},
keywords = {Category theory},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-90},
title = {Some fundamental algebraic tools for the semantics of computation / by R.M. Burstall, Joseph A. Goguen, A. Tarlecki. Part 3, Indexed categories.},
year = {1989},
}

@book{alma993284913502466,
author = {Avron, Arnon.},
address = {Edinburgh},
booktitle = {Using typed lambda calculus to implement formal systems on a machine},
keywords = {Machine theory},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-31},
title = {Using typed lambda calculus to implement formal systems on a machine / by Arnon Avron, Furio A. Honsell and Ian A. Mason.},
year = {1987},
}

@book{alma999684213502466,
author = {Tarlecki, Andrzej.},
address = {Edinburgh},
booktitle = {Some fundamental algebraic tools for the semantics of computation / Part 3, Indexed categories.},
keywords = {Category theory},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-60},
title = {Some fundamental algebraic tools for the semantics of computation / by  A. Tarlecki, R.M. Burstall J.A. Goguen. Part 3, Indexed categories.},
year = {1988},
}

@book{alma993628163502466,
author = {Harper, Robert.},
address = {Edinburgh},
booktitle = {Structure and representation in LF},
keywords = {Automatic theorem proving},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-75},
title = {Structure and representation in LF / by Robert Harper, Donald Sannella and Andrzej Tarlecki.},
year = {1989},
}

@book{alma993494333502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {Co-induction in relational semantics},
keywords = {Programming languages (Electronic computers) -- Semantics},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-65},
title = {Co-induction in relational semantics / Robin Milner and Mads Tofte.},
year = {1988},
}

@book{alma993285063502466,
author = {Mitchell, John C.},
address = {Edinburgh},
booktitle = {The essence of ML},
keywords = {ML (Computer program language)},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-42},
title = {The essence of ML / by John C. Mitchell and Robert Harper.},
year = {1987},
}

@book{alma993255873502466,
author = {Hagino, Tatsuya.},
address = {Edinburgh},
booktitle = {A typed lambda calculus with categorical type constructors},
keywords = {Categories (Mathematics)},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 88-44},
title = {A typed lambda calculus with categorical type constructors / by Tatsuya Hagino.},
year = {1988},
}

@book{alma992351363502466,
author = {Goguen, J. A. (Joseph A.)},
address = {Edinburgh},
booktitle = {A study in the foundations of programming methodology : specifications, institutions, charters and parchments},
keywords = {Computer programming -- Methodology},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 86-10},
title = {A study in the foundations of programming methodology : specifications, institutions, charters and parchments / by Joseph A. Goguen and R.M. Burstall.},
year = {1986},
}

@book{alma994254933502466,
author = {Harper, Robert.},
address = {Edinburgh},
booktitle = {A framework for defining logics},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-162},
title = {A framework for defining logics / by Robert Harper, Furio Honsell, Gordon Plotkin.},
year = {1991},
}